Revision: tlasrc--errors--1.2--patch-6
Archive: aaron.bentley@utoronto.ca--tla-2004
Creator: Aaron Bentley <aaron.bentley@utoronto.ca>
Date: Sun Feb  1 12:43:45 EST 2004
Standard-date: 2004-02-01 17:43:45 GMT
Modified-files: libarch/cmd-replay.c
New-patches: aaron.bentley@utoronto.ca--tla-2004/tlasrc--errors--1.2--patch-6
Summary: input validation for tla replay
Keywords: 

Better errors when replay is invoked for imaginary versions/revisions
